<?php
require("param.inc.php");
// iniciamos sesiones
session_start();
// destruimos la session
session_destroy();
if($_GET["inac"] == 0){
  header("Location:../$ar_index?error_login=5");
}else{
	header("Location:../$ar_index");
}
?>